This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...